大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Symposium on Computer Software Reliability (1973 : New York City) 的图书(共9357本)

Formal Methods for Model-Driven Engineering [electronic resource] : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Cortellessa、 Vittorio.、Pierantonio、 Alfonso.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Management Intelligent Systems [electronic resource] : First International Symposium

0
索取号：
作者：Casillas、 Jorge.、Mart铆nez-L贸pez、 Francisco J.、Corchado Rodr铆guez、 Juan Manuel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Experimental Algorithms [electronic resource] : 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings

0
索取号：
作者：Klasing、 Ralf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Software Service and Application Engineering [electronic resource] : Essays Dedicated to Bernd Kr盲mer on the Occasion of His 65th Birthday

0
索取号：
作者：Heisel、 Maritta.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Software Business [electronic resource] : Third International Conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012. Proceedings

0
索取号：
作者：Cusumano、 Michael A.、Iyer、 Bala.、Venkatraman、 N.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Computational Intelligence [electronic resource] : IEEE World Congress on Computational Intelligence, WCCI 2012, Brisbane, Australia, June 10-15, 2012. Plenary/Invited Lectures

0
索取号：
作者：Liu、 Jing.、Alippi、 Cesare.、Bouchon-Meunier、 Bernadette.、Greenwood、 Garrison W.、Abbass、 Hussein A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Science-Theory and Applications [electronic resource] : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings

0
索取号：
作者：Hirsch、 Edward A.、Karhum盲ki、 Juhani.、Lepist枚、 Arto.、Prilutskii、 Michail.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Information Processing in Computer-Assisted Interventions [electronic resource] : Third International Conference, IPCAI 2012, Pisa, Italy, June 27, 2012. Proceedings

0
索取号：
作者：Abolmaesumi、 Purang.、Joskowicz、 Leo.、Navab、 Nassir.、Jannin、 Pierre.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Reliable Software Technologies-Ada-Europe 2012 [electronic resource] : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings

0
索取号：
作者：Brorsson、 Mats.、Pinho、 Lu铆s Miguel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Software Composition [electronic resource] : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 鈥ʵne 1, 2012. Proceedings

0
索取号：
作者：Gschwind、 Thomas.、Paoli、 Flavio.、Gruhn、 Volker.、Book、 Matthias.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Software Engineering Research, Management and Applications 2012 [electronic resource]

0
索取号：
作者：Lee、 Roger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer and Information Science 2012 [electronic resource]

0
索取号：
作者：Lee、 Roger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Software Process Improvement and Capability Determination [electronic resource] : 12th International Conference, SPICE 2012, Palma, Spain, May 29-31, 2012. Proceedings

0
索取号：
作者：Mas、 Antonia.、Mesquida、 Antoni.、Rout、 Terry.、O鈥機onnor、 Rory V.、Dorling、 Alec.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Modeling and Simulation in Engineering, Economics and Management [electronic resource] : International Conference, MS 2012, New Rochelle, NY, USA, May 30 - June 1, 2012. Proceedings

0
索取号：
作者：Engemann、 Kurt J.、Gil-Lafuente、 Anna M.、Merig贸、 Jos茅 M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Facing the Multicore - Challenge II [electronic resource] : Aspects of New Paradigms and Technologies in Parallel Computing

0
索取号：
作者：Keller、 Rainer.、Kramer、 David.、Weiss、 Jan-Philipp.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 13th International Conference, XP 2012, Malm枚, Sweden, May 21-25, 2012. Proceedings

0
索取号：
作者：Wohlin、 Claes.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.